انجمن منطق ایران برگزار میxadکند مروری بر برخی اثبات های جدید برای قضیه ناتمامیت گودل دکتر پیام سراجی دانشگاه تبریز در این سخنرانی برهانهایی که در دهه 70 و 80 میلادی توسط جرج بولوس و گرگوری شایتین برای قضیه ناتمامیت گودل ارائه شدند معرفی شده و از نظر امکان ساختاری شدن (یعنی به دست آوردن گزاره تصمیم ناپذیر به شیوه ای الگوریتمی) و همچنین شرط بهینه سازگاری که برای اثبات آنها نیاز است، مورد بررسی قر

ازین به بعد مطالب وبلاگ را در sahmir.logiccirle.ir دنبال کنید.

----------------------------------------------
----------------------------------------------
هدف از تشکیل این وبلاگ، بیان مطالب منطقی - فلسفی روز و تأمین بخشی کوچک از نیازهای منطق پژوهان در جهت تأمین مقالات و کتب مربوطه در این باب میباشد که به یاری خداوند متعال بتوانیم با راهنماییهای دوستان خواننده در جهت بهبود آن گام برداریم.